| Authors |
Vladimir A. Nikulin, Applicant, Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, St.-Petersburg, Russia), E-mail: vka@mаil.ru
Andrey I. Loskutov, Doctor of technical sciences, professor, head of sub-department of telemetry systems, complex processing and protection of information, Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, St.-Petersburg, Russia), E-mail: vka@mаil.ru
Vladimir A. Klykov, Candidate of technical sciences, teacher of sub-department of telemetry systems, complex processing and protection of information, Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, St.-Petersburg, Russia), E-mail: vka@mаil.ru
Ekaterina A. Ryakhova, Adjunct of sub-department of telemetry systems, complex processing and protection of information, Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, St.-Petersburg, Russia), E-mail: vka@mаil.ru
Andrey V. Stolyarov, Adjunct of sub-department of telemetry systems, complex processing and protection of information, Мilitary space Academy named after A. F. Mozhaisky (13 Zhdanovskaya street, St.-Petersburg, Russia), E-mail: vka@mаil.ru
|
| Abstract |
Background. The steady increase in the complexity of the on-board equipment of unmanned systems, as well as the volume of tasks performed, creates the preconditions for the development of diagnostic systems in this area, with the development of appropriate special mathematical and software-algorithmic support. Consequently, there is a need to develop a methodology for formalizing the process of functioning of unmanned systems in order to create special software for diagnostic systems.
Materials and methods. To solve the problem of technical diagnostics, a modified temporary Petri net and a statistical graph of markings formed on its basis are used. The paper proposes to use the characterization of forbidden graphs to highlight the allowed transitions in the formalization of various modes of operation of unmanned aircraft systems. As a solution to the question of the adequacy of the mathematical model, it is proposed to use the tool of syntactically correct parallel graph-schemes of algorithms at the initial stage of formalization.
Results. The proposed method for constructing a mathematical model of the process of functioning of unmanned aircraft systems made it possible to obtain a markup graph with the corresponding state space. The characterization of forbidden graphs made it possible to single out the allowed transitions in this graph based on the main modes of operation of the unmanned aircraft complex.
Conclusion. Formalization of the process of functioning of the controlled object is a key element in the creation of special mathematical support for automatic diagnostics systems, which makes it possible to determine the hidden cause-and-effect relationships that occur inside any complex system. The use of generative grammars in the construction of syntactically correct parallel graph-schemes of algorithms allows avoiding the question of assessing the adequacy of the synthesized mathematical model. The results obtained confirm the possibility of using the presented approach in the development of special software for on-board diagnostic systems for unmanned aircraft systems.
|
